bitkeeper revision 1.1041.6.2 (40e52272y6_U6CzuMhfEqO8UT-l_fA)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Fri, 2 Jul 2004 08:53:06 +0000 (08:53 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Fri, 2 Jul 2004 08:53:06 +0000 (08:53 +0000)
doc fix

docs/HOWTOs/XenDebugger-HOWTO

index 8d5dc69e69a7e075abaae9004d1af5018ff6edf7..1aba294abba0449a1cb5b2d956b9223611fdc82e 100644 (file)
@@ -77,7 +77,7 @@ Serial Port Configuration
   one stream (without the high bit) is the console and 
   one stream (with the high bit stripped) is the pdb communication.
 
-  See:  xeno.bk/tools/nsplitd
+  See:  xeno.bk/tools/misc/nsplitd
 
   nsplitd configuration
   ---------------------
@@ -107,7 +107,7 @@ Serial Port Configuration
   characters received.
 
   You can connect to the nsplitd using
-  'tools/xenctl/lib/console_client.py <host> <port>'
+  'tools/misc/xencons <host> <port>'
 
 GDB 6.0
   pdb has been tested with gdb 6.0.  It should also work with